({
    i: a #
    wherew(implementsI)
    e
})
